list{-}diff(${\it eq}$;${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$a$.$\neg_{2}$deq{-}member(${\it eq}$;$a$;${\it bs}$);${\it as}$)